این ویدیوها، حاصل تدریس درس نظریه زبانها و ماشینها در دانشگاه شهید چمران اهواز میباشد. طبعاً این ویدیوها خالی از اشکال نیستند. اگر در حین تماشای ویدیوها با اشتباهی از سوی مدرس برخورد کردید، بسیار خوشحال میشوم اشتباه رخ داده را از طریق ایمیل به اطلاع بنده برسانید تا آن را برطرف کنم. امید است مجموعه فوق مورد استفاده علاقه مندان به یادگیری برنامه نویسی قرار بگیرد.
فصل اول - مقدمه
1-1- مقدمه (33:35)
2-1- مقدمه - معرفی گرامر و ماشین (19:28)
فصل دوم - ماشینهای باپایان
1-2- ماشینهای باپایان قطعی (39:06)
1-2- ماشینهای باپایان قطعی (39:06)
2-2- ماشینهای باپایان غیرقطعی (36:33)
فصل سوم - عبارتهای منظم و گرامرهای منظم
1-3- عبارتهای منظم (28:30)
2-3- عبارات منظم و زبانهای منظم (39:01)
3-3- گرامرهای منظم
فصل چهارم - خواص زبانهای منظم
1-4- خواص بستار زبانهای منظم (33:49)
2-4- لم پمپاژ زبانهای منظم و چند سوال دربارۀ زبانهای منظم (49:28)
فصل پنجم - زبانهای مستقل از متن
1-5- گرامرهای مستقل از متن (22:27)
2-5- گرامرها و زبانهای مبهم (26:09)
3-5- تجزیه (23:20)
فصل ششم - ساده سازی گرامرهای مستقل از متن و فرمهای نرمال
1-6- ساده سازی گرامرهای مستقل از متن (27:44)
2-6- فرمهای نرمال (19:32)
فصل هفتم - اتوماتاهای پشته ای
1-7- اتوماتای پشته ای نامعین (41:26)
2-7- اتوماتای پشته ای نامعین (25:08)
3-7- اتوماتای پشته ای و گرامر مستقل از متن (42:46)
فصل هشتم - خواص زبانهای مستقل از متن
1-8- لم پمپاژ زبانهای مستقل از متن (36:00)
2-8- خواص بستار زبانهای مستقل از متن و چند سوال دربارۀ آنها (45:26)
فصل نهم - ماشین تورینگ
1-9- تعاریف (28:15)
2-9- ماشین تورینگ به عنوان پذیرنده زبانها (41:48)
3-9- ماشین تورینگ به عنوان محاسبه کننده توابع (33:32)
9-4- ترکیب ماشینهای تورینگ، تز تورینگ و الگوریتم (15:39)
فصل دهم - انواع دیگر ماشین تورینگ
1-10- ماشین تورینگ با نوار چندشیاره و ماشین تورینگ با نوار نیمه محدود (40:05)
2-10- ماشین تورینگ آفلاین و ماشین تورینگ با امکان درجازدن (11:59)
3-10- ماشینهای چندنواره و ماشینهای با نوار چندبعدی (21:11)
4-10- ماشین تورینگ نامعین و ماشین تورینگ جامع (9:38)
فصل دوم - ماشینهای باپایان
فصل چهارم - خواص زبانهای منظم
فصل ششم - ساده سازی گرامرهای مستقل از متن و فرمهای نرمال
فصل هشتم - خواص زبانهای مستقل از متن
فصل نهم - ماشین تورینگ
